A generalization of Nash's theorem with higher-order functionals
نویسنده
چکیده
The recent theory of sequential games and selection functions by Escardó & Oliva is extended to games in which players move simultaneously. The Nash existence theorem for mixed-strategy equilibria of finite games is generalized to games defined by selection functions. A normal form construction is given, which generalizes the game-theoretic normal form, and its soundness is proved. Minimax strategies also generalize to the new class of games, and are computed by the Berardi-Bezem-Coquand functional, studied in proof theory as an interpretation of the axiom of countable choice.
منابع مشابه
A generalisation of Nash's theorem with higher-order functionals
The recent theory of sequential games and selection functions by Martin Escardó and Paulo Oliva is extended to games in which players move simultaneously. The Nash existence theorem for mixed-strategy equilibria of finite games is generalised to games defined by selection functions. A normal form construction is given which generalises the game-theoretic normal form, and its soundness is proven...
متن کاملA FUZZY VERSION OF HAHN-BANACH EXTENSION THEOREM
In this paper, a fuzzy version of the analytic form of Hahn-Banachextension theorem is given. As application, the Hahn-Banach theorem for$r$-fuzzy bounded linear functionals on $r$-fuzzy normedlinear spaces is obtained.
متن کاملAlmost multiplicative linear functionals and approximate spectrum
We define a new type of spectrum, called δ-approximate spectrum, of an element a in a complex unital Banach algebra A and show that the δ-approximate spectrum σ_δ (a) of a is compact. The relation between the δ-approximate spectrum and the usual spectrum is investigated. Also an analogue of the classical Gleason-Kahane-Zelazko theorem is established: For each ε>0, there is δ>0 such that if ϕ is...
متن کاملFour functionals fixed point theorem
The Four Functionals Fixed Point Theorem is a generalization of the original, as well as the functional generalizations, of the Leggett–Williams Fixed Point Theorem. In the Four Functionals Fixed Point Theorem, neither the upper nor the lower boundary of the underlying set is required to map below or above the boundary in the functional sense. As an application, the existence of a positive solu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره 469 شماره
صفحات -
تاریخ انتشار 2013